type checking

[网络] 类型检查;型别检查;型态检查